<?php
if(!has_permission(PERM_ADMIN)) exit();

echo "<h1>User</h1>";

echo "<table border=1>
<tr><th>Name</th><th>E-Mail</th><th>Berechtigungen</th></tr>";

$r = db_query("SELECT * FROM user");
while(($v = mysql_fetch_array($r)) != NULL) {
 echo "<tr><td>".$v["name"]."</td><td>".$v["mail"]."</td><td><small>".permission_string($v["name"])."</small></td></tr>";
}

echo "</table>";


?>
